EQ-algebras from the point of view of generalized algebras with fuzzy equalities

نویسندگان

  • Zhen Ming Ma
  • Bao Qing Hu
چکیده

EQ-algebras introduced by Novák are algebras of truth values for a higher-order fuzzy logic (fuzzy type theory). In this paper, the compatibility of multiplication w.r.t. the fuzzy equality in an arbitrary EQ-algebra is examined. Particularly, an example indicates that the compatibility axiom does not always hold, and then a class of EQ-algebras satisfying the compatibility axiom is characterized by introducing a residuated integral-meet-semilattice-ordered-monoid-valued fuzzy algebra called a generalized algebra with a fuzzy equality. © 2013 Elsevier B.V. All rights reserved.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generalized states on EQ-algebras

In this paper, we introduce a notion of generalized states from an EQ-algebra E1 to another EQ-algebra E2, which is a generalization of internal states (or state operators) on an EQ-algebra E. Also we give a type of special generalized state from an EQ-algebra E1 to E1, called generalized internal states (or GI-state). Then we give some examples and basic properties of generalized (internal) st...

متن کامل

ON TOPOLOGICAL EQ-ALGEBRAS

In this paper, by using a special family of filters $mathcal{F}$ on an EQ-algebra $E$, we construct a topology $mathcal{T}_{mathcal{mathcal{F}}}$ on $E$ and show that $(E,mathcal{T}_{mathcal{F}})$ is a topological EQ-algebra. First of all, we give some properties of topological EQ-algebras and investigate the interaction of topological EQ-algebras and quotient topological EQ-algebras. Then we o...

متن کامل

FUZZY EQUATIONAL CLASSES ARE FUZZY VARIETIES

In the framework of fuzzy algebras with fuzzy equalities and acomplete lattice as a structure of membership values, we investigate fuzzyequational classes. They consist of special fuzzy algebras fullling the samefuzzy identities, dened with respect to fuzzy equalities. We introduce basicnotions and the corresponding operators of universal algebra: construction offuzzy subalgebras, homomorphisms...

متن کامل

Fixed point theorems for generalized quasi-contractions in cone $b$-metric spaces over Banach algebras without the assumption of normality with applications

In this paper, we introduce the concept of generalized quasi-contractions in the setting of cone $b$-metric spaces over Banach algebras. By omitting the  assumption of normality we establish common fixed point theorems for the generalized quasi-contractions  with the spectral radius $r(lambda)$ of the quasi-contractive constant vector $lambda$ satisfying $r(lambda)in [0,frac{1}{s})$  in the set...

متن کامل

Direct Limits and Reduced Products of Algebras with Fuzzy Equalities

We study direct limits and reduced products of algebras with fuzzy equalities. On the one hand, algebras with fuzzy equalities are natural fuzzy structures that disallow to map similar arguments to dissimilar ones. On the other hand, they are exactly the semantic structures of the equational fragment of first-order fuzzy logic. In this paper we propose generalizations of direct limits and reduc...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Fuzzy Sets and Systems

دوره 236  شماره 

صفحات  -

تاریخ انتشار 2014